A subset
H
of a group
G
that itself forms
a group under the operation of
G
.